http://identifiers.org/mgd/MGI:5309174 Trap1a<tm1.1Jvde> P1A<-> targeted mutation 1.1, Benoit Van den Eynde MGI:5309174 Null/knockout